You can change the program state using the 命令更改程序狀態(tài),然后使用
Is a methodology that describes computation in terms of program states 是一種用程序狀態(tài)描述計(jì)算的方法。
You can then use the debugger windows to examine your program state 然后,您就可以使用調(diào)試器窗口檢查您的程序狀態(tài)。
Programmers working in this paradigm use statements to change the program state 使用這種范型的編程人員用語句改變程序狀態(tài)。
Temporal logic is a formalism used to describe how a program state will change with time 時(shí)態(tài)邏輯是用于描述程序狀態(tài)如何隨時(shí)間而更改的形式體系。
Temporal logic is a formalism used to describe how a program state will change over time 時(shí)態(tài)邏輯( temporal logic )是一種用來描述程序狀態(tài)如何隨時(shí)間而更改的形式體系。
Once you have attached to a program , you can use debugger execution commands , inspect the program state , and so on 一旦附加到某個(gè)程序,就可以使調(diào)試器執(zhí)行命令、檢查程序狀態(tài),等等。
So that volatile flags can be used reliably as indicators that the program state has been changed by another thread 的語義,這樣就可以可靠地使用volatile標(biāo)志表明程序狀態(tài)被另一個(gè)線程改變了。
Were immutable , then such hostile code would not be able to modify our program state in such a confusing and dangerous way 是不變的,那么這種惡意的代碼就不能以如此令人混亂而危險(xiǎn)的方法修改我們的程序狀態(tài)了。
One way to fill this gap is with " temporal logic , " a formalism used to describe how a program state will change over time 彌補(bǔ)這一缺陷的方法是使用“時(shí)態(tài)邏輯” ,它是一種用于描述程序狀態(tài)如何隨時(shí)間而更改的形式體系。